#ifndef __HEADER_LISTEN
#define __HEADER_LISTEN

#include "clocksync.h"
#include "bullyalgo.h"

extern void start_listen(int argc, char *argv[]);
extern void fopen_listen(char *);
extern void *applisten();
extern FILE *f_listen;
#endif //__HEADER_LISTEN
